formal method: A software engineering method that uses a formal specification language — that is

См. также в других словарях:

• Cleanroom software engineering — For the meaning of clean room engineering as a method to avoid copyright infringement, see Cleanroom design. Software development process Activities and steps …   Wikipedia

• Software development process — Activities and steps Requirements Specification …   Wikipedia

• Software prototyping — Software prototyping, a possible activity during software development, is the creation of prototypes, i.e., incomplete versions of the software program being developed.A prototype typically simulates only a few aspects of the features of the… …   Wikipedia

• Specification (technical standard) — Specification redirects here. For other uses, see Specification (disambiguation). A specification (often abbreviated as spec) is an explicit set of requirements to be satisfied by a material, product, or service.[1] Should a material, product or… …   Wikipedia

• Software patent debate — is the argument dealing with the extent to which it should be possible to patent software and computer implemented inventions as a matter of public policy. Policy debate on software patents has been active for years. [Cite book |last=Nichols… …   Wikipedia

• Formal methods — In computer science and software engineering, formal methods are particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.cite web|author=R. W. Butler|title=What is… …   Wikipedia

• Aspect-oriented software development — (AOSD) is an emerging software development technology that seeks new modularizations of software systems. AOSD allows multiple concerns to be expressed separately and automatically unified into working systems.Traditional software development has …   Wikipedia

• Eiffel (programming language) — Infobox programming language name = Eiffel paradigm = object oriented year = 1986 designer = Bertrand Meyer developer = Bertrand Meyer Eiffel Software latest release version = 4.2 latest release date = Feb 6, 1998 typing = static typing, strong… …   Wikipedia

• B-Method — The B method is method of software development based on B, a tool supported formal method based around an abstract machine notation, used in the development of computer software. It was originally developed by Jean Raymond Abrial in France and… …   Wikipedia

• Ada (programming language) — For other uses of Ada or ADA, see Ada (disambiguation). Ada Paradigm(s) Multi paradigm Appeared in 1980 Designed by MIL STD 1815/Ada 83: Jean Ichbiah Ada 95: Tucker Taft Ada 2005: Tucker Taft Stable release …   Wikipedia

• Information engineering — (IE) or information engineering methodology (IEM) in software engineering is an approach to designing and developing information systems. Contents 1 Overview 2 History 3 Information engineering topics …   Wikipedia